Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
931	On Self-Embeddings of Computable Linear Orderings ? Rodney G. Downey a , Carl Jockusch b and Joseph S. Miller a a School of Mathematical and Computing Sciences Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2009-07-29 17:54:43 Mathematical logic Theory of computation Computable function Halting problem Turing reduction Reverse mathematics Embedding Ordinal number Computability theory Mathematics Theoretical computer science
932	Questions in Recursion Theory December 1997 This is an informal list of some open problems in recursion theory. Solutions and new questions are welcome, as well as corrections to the attributions given below. Please, sen Add to Reading List Source URL: math.berkeley.edu Language: English - Date: 2002-11-21 07:33:52 Mathematics Recursively enumerable set Turing degree Maximal set Creative and productive sets Simple set Low High Recursive set Computability theory Theoretical computer science Mathematical logic
933	Computers, Paradoxes and the Foundations of Mathematics Some great thinkers of the 20th century have shown that even in the austere world of mathematics, incompleteness and randomness are rife Gregory J. Chaitin Add to Reading List Source URL: www.umcs.maine.edu Language: English - Date: 2002-02-07 17:02:09 Mathematical logic Computability theory Philosophy of mathematics Theoretical computer science Formal systems Kurt Gödel Halting problem Kolmogorov complexity Algorithmic information theory Mathematics Logic Science
934	CHAINS AND ANTICHAINS IN PARTIAL ORDERINGS VALENTINA S. HARIZANOV, CARL G. JOCKUSCH, JR., AND JULIA F. KNIGHT Abstract. We study the complexity of infinite chains and antichains in computable partial orderings. We show t Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2009-07-29 17:58:40 Order theory Computability theory Integer sequences Antichain Functions and mappings Computable function Tree Function Model theory Mathematics Mathematical logic Theory of computation
935	On Development of Systems for Number Theoretic Calculation and Related Problems MATSUI Tetsushi 2 Add to Reading List Source URL: tnt.math.se.tmu.ac.jp Language: English - Date: 2007-12-02 04:39:15 Applied mathematics Theory of computation Models of computation Alan Turing Computable number Computable function Turing machine Algorithm Polynomial Theoretical computer science Mathematics Computability theory
936	Chapter 2 1 Wittgenstein’s Diagonal Argument: A Variation on Cantor and Turing1 Add to Reading List Source URL: www.bu.edu Language: English - Date: 2012-09-21 17:06:53 Computer science Computable number Halting problem Computable function Description number Turing machine Alan Turing Computability Entscheidungsproblem Computability theory Theoretical computer science Theory of computation
937	arXiv:0709.0674v1 [cs.AI] 5 Sep[removed]Simple Algorithmic Principles of Discovery, Subjective Beauty, Selective Attention, Curiosity & Creativity∗ J¨urgen Schmidhuber Add to Reading List Source URL: www.idsia.ch Language: English - Date: 2007-12-10 08:15:14 Formal sciences Cybernetics Machine learning Computability theory Aesthetics Data compression Compressor Kolmogorov complexity Unsupervised learning Applied mathematics Mathematics Theoretical computer science
938	THE PROFESSION We Are Sorry to Inform You … Simone Santini, University of California, San Diego Add to Reading List Source URL: th.informatik.uni-mannheim.de Language: English - Date: 2006-02-23 13:30:56 Theoretical computer science Models of computation Turing machine Computability theory Algorithm Mathematical logic Computer Goto Fortran Computing Software engineering Computer programming
939	Squinting at Power Series M. Douglas McIlroy AT&T Bell Laboratories Murray Hill, New Jersey[removed]ABSTRACT Data streams are an ideal vehicle for handling power series. Stream Add to Reading List Source URL: swtch.com Language: English - Date: 2005-09-27 12:15:39 Enumerative combinatorics Computability theory Recursion Functions and mappings Combinatorial species Power series Integral Formal power series Mathematical analysis Mathematics Mathematical series
940	Microsoft PowerPoint - Scheme Theory.ppt Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2003-12-09 19:22:46 Programming language theory Computing Scheme Computability Lambda Apply Computability theory Lambda calculus Software engineering Functional programming

UPDATE